perm filename FILES[F82,JMC]2 blob
sn#692374 filedate 1982-12-22 generic text, type C, neo UTF8
COMMENT ā VALID 00002 PAGES
C REC PAGE DESCRIPTION
C00001 00001
C00002 00002 [f82,jmc]
C00007 ENDMK
Cā;
[f82,jmc]
aaai[f82,jmc] To do as president
ambigu[f82,jmc] Ambiguity tolerance and desirable vagueness
appoi1[f82,jmc] A program for keeping track of appointments and advising
balzer.rep[f82,jmc] Reply to Balzer's message to Bob Kahn
bird[f82,jmc] Another version of "A bird can fly unless ...
bird.2[f82,jmc] Another approach to " A bird can fly unless
bird.3[f82,jmc] The reasoning itself
boyerm[f82,jmc] Note to Boyer and Moore about RSA proof
circum[f82,jmc] Mathematical questions of circumscription
circum.dis[f82,jmc] Mailing list for reports on circumscription
circum.ex[f82,jmc] Examples for circumscription paper
circum.lec[f82,jmc] Notes for lecture on circumscription
circum.mor[f82,jmc] More on circumscription - for IJCAI or AAAI
common[f82,jmc] What is common sense?
commen[f82,jmc] letter to Commentary about Irving Howe
confli[f82,jmc] There is too much conflict in the world
cross[f82,jmc] Crossing the street and concurrent action
cs206[f82,jmc] Notes for the improvement of CS206 and the book
cs226[f82,jmc] Notes for cs226 for winter 1983
deukme[f82,jmc] SE2 letter to Governor Deukmejian
dirty[f82,jmc] Locally dirty lisp
disinf[f82,jmc] Andropov's accession portends more disinformation
ekl.not[f82,jmc] Notes on the use of ekl
enviro[f82,jmc] Environmental issues for discussion with Sarah
german[f82,jmc] some German vocabulary
hypert[f82,jmc] hypertime - speculation in physics
ideas[f82,jmc] 1982 Nov. 24
lambda[f82,jmc] How expensive is lambda calculus computationally?
let1[f82,jmc] A call-by-need let macro
letby.lsp[f82,jmc] Call-by-need let macro
lisp.imp[f82,jmc] improvements to Lisp, lisp 3, new lisp
mathso[f82,jmc] Abstract of talk for American Mathematical Society
metaep[f82,jmc] A proposal for meta-epistemology
molecu[f82,jmc] Detection of single molecules by methods of
freshman chemistry
more[f82,jmc] More on Circumscription
naviga[f82,jmc] Radio navigation for cars using fm stations
omega[f82,jmc] Chess win in omega moves, Barwise position
parall[f82,jmc] Ideas for a parallel bit string manipulator
permut.lsp[f82,jmc] ;;; ekl axioms and proofs for permutation functions
politi[f82,jmc] Politics and sociobiology and original sin
poll[f82,jmc] Questions for public opinion polls
reiter[f82,jmc] To Reiter re circumscription applied to Nixon paradox
safety[f82,jmc] When safety kills
scheme[f82,jmc] scheme hairy control structure for samefringe
semina[f82,jmc] Abstract for seminar on circumscription
slac[f82,jmc] AI lecture for SLAC; common sense physics
traffi[lit,jmc] computer program saves humanity
tree[f82,jmc] Another scheme for using trees instead of a-lists
triang.lsp[f82,jmc] How many queens will fit in a triangle
trian3.lsp[f82,jmc] Queens in triangle, multiple-value-bind version
turing[f82,jmc] The Inversion of Functions Defined by Turing Machines
turing.com[f82,jmc] Commentary on "The inversion ..."
unempl[f82,jmc] Mathematical models of unemployment